arm: use a per-VCPU stack
authorIan Campbell <Ian.Campbell@citrix.com>
Wed, 22 Feb 2012 14:33:22 +0000 (14:33 +0000)
committerIan Campbell <Ian.Campbell@citrix.com>
Wed, 22 Feb 2012 14:33:22 +0000 (14:33 +0000)
commit755e51295777311c384efa233967b35123287d4b
tree739d122725477df59e45bf0d9dea5fa6975c4e22
parent6fa67ade267f7ec7b3289650ce0febfd4e33bbcd
arm: use a per-VCPU stack

We do not do any lazy state switching. Outside of context_switch() the current
stack is always that of the VCPU which current returns.

Signed-off-by: Ian Campbell <ian.campbell@citrix.com>
Acked-by: Tim Deegan <tim@xen.org>
Committed-by: Ian Campbell <Ian.Campbell@citrix.com>
xen/arch/arm/asm-offsets.c
xen/arch/arm/domain.c
xen/arch/arm/domain_build.c
xen/arch/arm/entry.S
xen/arch/arm/setup.c
xen/include/asm-arm/current.h
xen/include/asm-arm/domain.h
xen/include/asm-arm/regs.h
xen/include/asm-arm/system.h